61. E-commerce and web technologies :
پدیدآورنده : Tommaso Di Noia, Francesco Buccafurri (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic commerce, Congresses.,Internet, Congresses.,Software engineering, Congresses.
62. E-commerce and web technologies
پدیدآورنده : Tommaso Di Noia, Francesco Buccafurri (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic commerce, Congresses,Internet, Congresses,Software engineering, Congresses
رده :
HF5548
.
32
.
I5796
2009
63. E-infrastructures and e-services on developing countries :
پدیدآورنده : Adolfo Villafiorita, Regis Saint-Paul, Alessandro Zorer (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information technology-- Developing countries, Congresses.,Internet in public administration-- Developing countries, Congresses.,Wireless communication systems-- Developing countries, Congresses.,Information technology.,Informatique.,Internet in public administration.,Wireless communication systems.,Developing countries., 7
رده :
T58
.
5
.
I58
2010
64. Economy, finance and business in southeastern and central Europe :
پدیدآورنده : edited by Anastasios Karasavvoglou, Srećko Goić, Persefoni Polychronidou, Pavlos Delias.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Economic development-- Balkan Peninsula, Congresses.,Economic development-- Europe, Eastern, Congresses.,BUSINESS & ECONOMICS-- Industries-- General.,Economic development.,Economic growth.,Economic systems & structures.,Economics.,European Economic Community literature.,Finance, Public.,Industries.,Industry & industrial studies.,Macroeconomics.,Macroeconomics.,Public finance.,Balkan Peninsula, Economic conditions, Congresses.,Europe, Eastern, Economic conditions, Congresses., 0, 0
رده :
HC244
.
I58
2016
65. Emerging technologies and circuits /
پدیدآورنده : Amara Amara, Thomas Ea, Marc Belleville, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Integrated circuits-- Design and construction, Congresses.,Ingénierie.,Integrated circuits-- Design and construction.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7874
.
E44
2010
66. Engineering Multi-Agent Systems :
پدیدآورنده : Danny Weyns, Viviana Mascardi, Alessandro Ricci (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Engineering systems, Congresses.,Multiagent systems, Congresses.,Artificial intelligence.,Engineering systems.,Multiagent systems.
رده :
QA76
.
76
.
I58
67. Engineering turbulence modelling and experiments 6 :
پدیدآورنده : edited by W. Rodi, M. Mulas.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Fluid dynamic measurements, Congresses.,Turbulence-- Mathematical models, Congresses.,Fluid dynamic measurements.,Mathematisches Modell,TECHNOLOGY & ENGINEERING-- Material Science.,Turbulence-- Mathematical models.,Turbulente Strömung
رده :
TA357
.
5
.
T87
E73
2005eb
68. Enterprise and organizational modeling and simulation :
پدیدآورنده : Robert Pergl, Eduard Babkin, Russell Lock, Pavel Malyzhenkov, Vojtěch Merunka (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business-- Data processing, Congresses.,Management information systems, Congresses.,Business Process Management.,Computer Appl. in Administrative Data Processing.,Enterprise Architecture.,Information Systems Applications (incl. Internet).,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Business & Economics-- Information Management.,Business-- Data processing.,Business mathematics & systems.,Computers-- Computer Simulation.,Computers-- Data Processing.,Computers-- Information Technology.,Computers-- Software Development & Engineering-- General.,Information retrieval.,Management information systems.,Public administration.,Software Engineering.
رده :
T58
.
6
69. Evaluation of novel approaches to software engineering :
پدیدآورنده : Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software engineering, Congresses.,Software engineering.
رده :
QA76
.
758
.
E53
2018
70. Evolution and challenges in system development
پدیدآورنده : edited by Jože Zupančič [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Management information systems -- Congresses.,Management information systems.,System design -- Congresses.
رده :
QA76
.
9
.
S88
E358
1999
71. Evolutionary and deterministic methods for design optimization and control with applications to industrial and societal problems /
پدیدآورنده : edited by Esther Andrés-Pérez, Leo M. González, Jacques Periaux, Nicolas Gauger, Domenico Quagliarella, Kyriakos Giannakoglou.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Engineering design-- Mathematical models, Congresses.,Mathematical optimization, Congresses.,Aerospace Technology and Astronautics.,Computational Intelligence.,Control.,Engineering Design.,Game Theory, Economics, Social and Behav. Sciences.,Optimization.,Aerospace & aviation technology.,Artificial intelligence.,Automatic control engineering.,Computers-- Intelligence (AI) & Semantics.,Engineering design-- Mathematical models.,Game theory.,Mathematical optimization.,Mathematics-- Applied.,Mathematics-- Game Theory.,Optimization.,Technical design.,Technology & Engineering-- Aeronautics & Astronautics.,Technology & Engineering-- Automation.,Technology & Engineering-- Industrial Design-- Product.
رده :
QA402
.
5
72. Formal methods for components and objects :
پدیدآورنده : Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
F53
2012
73. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
74. Formal methods for industrial critical systems :
پدیدآورنده : Gwen Salaün, Bernhard Schätz (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Computer software-- Reliability, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I58
2011
75. Formal methods for protocol engineering and distributed systems :
پدیدآورنده : edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer network protocols -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.
رده :
QA76
.
9
.
F67
E358
1999
76. Formal methods for software architectures :
پدیدآورنده : Marco Bernardo, Paola Inverardi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
77. Formal methods for software architectures :
پدیدآورنده : Marco Bernardo, Paola Inverardi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
رده :
QA76
.
9
.
F67
M373
2003
78. Formal methods: foundations and applications
پدیدآورنده : Jim Davies, Leila Silva, Adenilso Simao (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
B73
2011
79. Frontiers in statistical quality control 12 /
پدیدآورنده : Sven Knoth, Wolfgang Schmid, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical statistics, Congresses.,Quality control-- Statistical methods, Congresses.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Data mining.,Mathematical & statistical software.,Mathematical statistics.,Probability & statistics.,Quality control-- Statistical methods.,Reliability engineering.
رده :
TS156
.
A1
80. Fundamental research in electrical engineering :
پدیدآورنده : Shahram Montaser Kouhsari, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electrical engineering, Congresses.,Electronics, Congresses.,Telecommunication, Congresses.,Electrical engineering.,Electronics.,TECHNOLOGY & ENGINEERING-- Mechanical.,Telecommunication.
رده :
TK7801
